def whatever (x: i32) = x + 2
